Free shipping on all orders! No minimum purchase required.
Logic Program Synthesis and Transformation, Manchester 1991
by T. P. Clement (Editor), K. L. Lau (Editor)
